低压电场驱动下膜分离 CO2的研究

以离子交换膜为基础,进行预处理和化学改性.研究了不同预处理条件、化学改性方法及低压电场的电压对离子交换膜的CO2分离效率的影响.结果表明,改进处理条件、施加低压电场及在膜中加入亲水物质可明显地增加离子交换膜的二氧化碳通量.     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

一个故障容错系统的设计及实现

本文提出了多路自动切换容错系统的一般概念,并对容错系统的可靠性及平均无故障时间进行了分析、计算,实现了二路自动切换容错系统.     

机构可靠性

本文讨论了机构可靠性问题,指出机构可靠性主要取决于运动副的约束条件的稳定性.其中,包括运动约束条件和几何形状约束条件的稳定性,这就使机构可靠性研究的着眼点更为明确.     

关于舰用机电产品可靠性分布问题探讨

在失效机理分析的基础上,着重从理论上探讨了舰用机电产品在使用中的可靠性分布类型,并给出了简化的计算方法。     

用薄船理论计算方尾军舰兴波阻力的一种修正方法

以薄船理论的马丁法为基础,对船型横剖面面积曲线,加上考虑粘性作用产生的排挤厚度的修正,来计算兴波阻力。结果表明,计算值与试验值吻合较好,尤其是在中高速下,即F_n=0.4～0.7范围内,相对偏差不超过0.5％。在计算某型方尾军舰时,方尾产生的虚长度据试验得到的规律来确定。与其他方程比较,简单方便,且有较高精度。     

汇编语言动态分析工具中的程序插装技术

根据8086/8088语言的结构化特点,提出了程序插装的概念及其实现方法,并基于插装研制出一种动态分析工具,从而实现了对程序分支及语句的自动测试功能.     

电子战条件下雷达接收信号模型

文中建立了电子战条件下雷达信号环境数学模型,包括雷达发射信号数学模型,目标回波信号数学模型,电子干扰（有源干扰和无源干扰）信号数学模型,杂波数学模型以及噪声数学模型     

超宽带雷达反隐身机理综述

本文对超宽带（ＵＷＢ）／冲激雷达的反隐身机理作了全面的讨论。从冲激脉冲具有的超宽带特性、短时性、信号先兆效应、电磁导弹特性,以及吸波材料的驰豫时间效应和自诱导透明性等方面,分析对比了冲激雷达与常规雷达回波的差异。初步实验结果表明,超宽带冲激雷达有优越的反隐身能力     

软件工程在模拟潜艇指控台上的应用

介绍了模拟潜艇指控台在军事应用软件的计划与开发过程中所面临的各种困难,提出并采用了软件工程设计的方法来解决此类问题的思路与方法。